Search Results
Stephan Boyer - Proving Theorems and Certifying Programs with Coq - λC 2018
Coq Intensive Lecture 3 (2018)
Gabriel Claramunt - Introduction to Coq - Part 1 of 2 - λC 2017
Gabriel Claramunt - Introduction to Coq - Part 2 of 2 - λC 2017
Interactive Theorem Proving with Lean
Functional Programming in Coq theorem prover - Lecture 2.
coq-8-01
Formal Methods for the Informal Engineer: Tutorial #2 - The Coq Theorem Prover (2021)
Mtac2 - Typed Tactics for Backward Reasoning in Coq
[CoqPL'22] Coq meets literate programming: tools for documenting, preserving, and sharing
Functional Tricity #9 - Adam Slaski "he Coq Proof Assistant"
Verified Programming of Turing Machines in Coq
![[CoqPL'22] Coq meets literate programming: tools for documenting, preserving, and sharing](https://img.youtube.com/vi/xAYlYmE-1dU/hqdefault.jpg)
